41. Exploring randomness
پدیدآورنده : Chaitin, Gregory J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Computational complexity,، LISP )Computer program language(
رده :
QA
267
.
C485
42. Feasible computations and provable complexity properties
پدیدآورنده : Hartmanis, Juris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H33
43. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
44. Finite automata, formal logic, and circuit complexity
پدیدآورنده : Straubing, Howard, 2591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77
45. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
46. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
پدیدآورنده : Internatinal FCT-confernce, Borgholm, Sweden, 3891
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses
رده :
QA
9
.
6
.
I57
1983
47. Fundamentals of computation theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1985
48. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
6
.
I57
1977
49. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
56
50. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
56
51. Fuzzy sets theory preliminary : can a washing machine think?
پدیدآورنده : Lin, Hao-Ran
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Fuzzy sets
رده :
QA
248
.
5
.
L56F813
52. Groups, Language,and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group...
پدیدآورنده : / Robert H. Gilman
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Geometric group theory-- Congresses,Machine theory-- Congresses,Formal language-- Congresses
رده :
512
.
2
A528G
53. Groups, Languages, and geometry : 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده : Robert H. Gilman, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A5
1998
54. Groups, languages, and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده : Robert H. Gilman, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A47
1998
55. Groups, languages, and geometry : 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده : Robert H. Gilman, editor
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Geometric group theory,، Machine theory,، Formal languages
رده :
QA
183
.
A47
1998
56. Groups, languages, and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A47
1998
57. Groups,languages,and geometry:1998 AMS-IMS-SIAM joint summer research conference on geometric group theory and coputer science,
پدیدآورنده : / Robert H.Gilman,editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geometric group theory-Congresses.,Machine theory-Congresses.,Formal languages-Congress
رده :
QA183
.
S47
1998
58. Image processing and analysis with graphs :
پدیدآورنده : edited by Oliver Lezoray, Leo Grady.
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع :
رده :
TA1634
،.
I49
2012
59. 20090601 ,Includes bibliographical references and index. 0
پدیدآورنده : 20090602 ,20090602 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
60. Introduction to combinatorics
پدیدآورنده : Erickson, Martin J.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Combinatorial analysis,، MATHEMATICS / Discrete Mathematics
رده :
QA
164
.
E74
2013